bitkeeper revision 1.1165 (420b922egKp-aJPtYkOkWGp2ZSNQAA)

Get rid of some annoying debug.

diff --git a/xen/arch/x86/cdb.c b/xen/arch/x86/cdb.c
index 73fefeb26f224e731505df18c3d7c73b1ebb79c7..b0e8462ac6ea39cf8c9fba653c6aa99ddf80a2dc 100644 (file)
--- a/xen/arch/x86/cdb.c
+++ b/xen/arch/x86/cdb.c
@@ -50,7 +50,6 @@ dbg_copy_from_user(void *dest, const void *src, unsigned len)
                : "0"(len), "1"(dest), "2"(src)
                : "memory");
        ASSERT(!local_irq_is_enabled());
-       printf("dbg_copy_from_user returning %d.\n", __d2);
        return __d2;
 }